16

On-the-fly model checking from interval logic specifications

Year:
2002
Language:
english
File:
PDF, 156 KB
english, 2002